The existence of non-standard numbers in first-order arithmetics is a semantic obstacle for modelling our arithmetical skills. This article argues that so far there is no adequate approach to overcome such a semantic obstacle, because we can also find out, and deal with, non-standard elements in Turing machines.

(1994). The moving boundary: Art, science, and the construction of reality. World Futures: Vol. 40, Art and Science: Studies from the World Academy of Art and Science, pp. 27-34.

Reflections on the Conference on First-Person Methodologies in the Study of Consciousness, Ratna Ling Retreat Center, Cazadero, California, March 29-April 2, 2007.

The Paradox of the Knower was originally presented by Kaplan and Montague [26] as a puzzle about the everyday notion of knowledge in the face of self-reference. The paradox shows that any theory extending Robinson arithmetic with a predicate K satisfying the factivity axiom K → A as well as a few other epistemically plausible principles is inconsistent. After surveying the background of the paradox, we will focus on a recent debate about the role of epistemic closure principles in the (...) Knower. We will suggest this debate sheds new light on the concept of knowledge which is at issue in the paradox – i.e. is it a “thin” notion divorced from concepts such as evidence or justification, or is it a “thick” notion more closely resembling mathematical provability? We will argue that a number of features of the paradox suggest that the latter option is more plausible. Along the way, we will provide a reconstruction of the paradox using a quantified extension of Artemovʼs [2] Logic of Proofs, as well as a series of results linking the original formulation of the paradox to reflection principles for formal arithmetic. On this basis, we will argue that while the Knower can be understood to motivate a distinction between levels of knowledge, it does not provide a rationale for recognizing a uniform hierarchy of knowledge predicates in the manner suggested by Anderson. (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

O conceito de distância é de fundamental importância para a Ciência. Basicamente, uma vez traduzida para a matemática, a noção de distância se define como uma função cujos argumentos são pares de números reais e os valores são números reais. Tal concepção de distância (o espaço métrico) está presente em todas as áreas da física, e tem por fundamento a ideia intuitiva de que a distância entre dois pontos é o tamanho de um caminho contínuo entre tais pontos. Este artigo (...) apresenta um novo conceito de distância, conceito este baseado nos números transreais, criados pelo cientista da computação James A.D.W. Anderson. Esta nova concepção de espaço métrico (o espaço transmétrico) permite a introdução de distâncias infinitas, assim como distâncias entre pontos entre os quais não há caminho contínuo algum (metaforicamente, uma distância cuja imagem é o “salto”). (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Kennedy Institute of Ethics Journal 14.3 (2004) vii-viii [Access article in PDF] John C. Fletcher 1931-2004 John Fletcher was one of the pioneers in the still-young field of bioethics. In this short tribute, I can only hope to highlight a few of the many contributions he made to the field.For many of us, our first introduction to John occurred in October 1971. At an international symposium sponsored by the (...) Kennedy Foundation, the film "Who Should Survive?" depicted the dramatic case of an infant with Down syndrome and an intestinal blockage. The parents of the infant refused surgery to relieve the obstruction, and the healthcare providers for the infant decided not to pursue a court order permitting the surgery. During a period of approximately two weeks the infant was allowed to die.In the second part of "Who Should Survive?" John was one of several panelists invited to discuss the decisions made in this case. After acknowledging how troubling the infant's death was to him, John nonetheless sought to be empathic with the parents. He pointed out that in the re-enactment of the case the faces of the parents were never seen, and he worried that the film did not permit the parents to discuss the reasons for the choice they had made. John realized that his position would not be shared by most other panelists. Yet he had the courage to take an unpopular stand and to challenge other panelists—and the audience—not to reach premature closure on complex ethical dilemmas.Already in 1967, John had begun contributing to the literature of bioethics. His essay "Human Experimentation: Ethics in the Consent Situation," appeared in Law and Contemporary Problems. At the time, John was deeply immersed in studying the ethical dimensions of research with human subjects at the NIH Clinical Center. Paul Ramsey cited John's work with appreciation in his 1970 book, The Patient as Person. By the time he completed his dissertation at Union Theological Seminary in 1969, John was arguably one of the best trained bioethicists in the world—before there was a field of bioethics.After serving as chaplain, teaching at Virginia Theological Seminary, and founding and leading a seminary without walls in Washington, DC, John became the chief of the ethics program at the NIH Clinical Center in 1977. There he had the unenviable task of providing a second review for all clinical protocols emerging from the intramural programs of the NIH institutes. John discovered that in some cases the institutional review boards of the institutes had overlooked important ethical questions. This role also [End Page vii] required courage. At times John found it necessary to challenge senior NIH researchers, even institute directors, and to request protocol revisions that in his view were required for the protection of human subjects.In 1980, after Martin Cline had performed an unauthorized gene transfer experiment involving thalassemia patients, John joined with physician W. French Anderson to write an essay entitled "Gene Therapy in Human Beings: When Is It Ethical to Begin?" [New England Journal of Medicine 303: 1293-97]. Not only did this essay help to defuse a potentially explosive problem for NIH, which had funded Cline's research. It also provided a set of guidelines for the conduct of human gene transfer research that is of continuing relevance today.At times John disagreed with federal policies on research, for example, conservative policies on human embryo research. He also chafed at the idea of subjecting his publications to prior NIH review, both for accuracy and for political correctness. Thus, he welcomed the opportunity to move to the University of Virginia in 1987. There his academic career flowered, and he enjoyed some of his most productive years of research and writing.Among his many contributions during these later years, John participated as Committee co-chair in an effort to "redress the wrongs of Tuskegee." The Tuskegee Syphilis Study Legacy Committee proposed in May 1996 that President Clinton apologize to the participants in the Tuskegee study on behalf of the federal government. In May 1997, the President did in... (shrink)

Nuclear power has never been free from the stifling involvement of government. Heavy regulation has reduced the ability of entrepreneurs to develop and provide new means for the generation of energy using nuclear fuel. The strict parameters dictated by government officials are based upon outdated technology, an improper regulatory philosophy, and preclude innovation in nuclear power generation. Anti-market environmentalists misunderstand the implications of a free market in nuclear power and argue against it based on problems that are actually caused by (...) government involvement. Our position is neither for nor against nuclear power. We advocate a hands-off policy where the nuclear industry is left to its own devices, free from governmental regulations and subsidies: free to succeed or fail on its own. Thus, our position is neither right-wing conservative (removing regulations), nor left-wing liberal (removing subsidies). Very much to the contrary of both positions, we propose a free-market in nuclear power. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Diacritics 29.4 (1999) 40-57 [Access article in PDF] Bogeyman: Benedict Anderson's "Derivative" Discourse Andrew Parker Between life and death, nationalism has as its own proper space the experience of haunting. There is no nationalism without some ghost. -Jacques Derrida, "Onto-Theology of National-Humanism" Writing a mere decade ago about Benedict Anderson's Imagined Communities, Timothy Brennan noted that "with the exception of some recent sociological works which use literary (...) theories, it is rare in English to see 'nation-ness' talked about as an imaginative vision--as a topic worthy of full fictional realization.... Even in the underrepresented branch of Third World English studies, one is likely to find discussions of race and colonialism, but not the 'nation' as such" [47]. If these sentences appear astonishing today--if over the past ten years we seem to have done little else but regard the nation as an imaginative construction--our sense of surprise may help to register how rapidly and profoundly Anderson's work has transformed the nature of literary and cultural studies. Viewing the modern nation primarily as an anthropological rather than political category, one that has less inherently to do with ideologies than with kinship, gender, and religion, Anderson argues in Imagined Communities for the irreducibility of material-cultural practices (what he memorably termed "print-capitalism") in creating and sustaining the "imagined community" of a nation whose citizens maintain "deep attachments" to each other in the absence of face-to-face contact: "the members of even the smallest nation will never know most of their fellow-members, meet them, or even hear of them, yet in the minds of each lives the image of their communion" [6]. Part of what makes such communities national, Anderson suggests, is a shared experience of simultaneity modeled on the spatio-temporal organization of newspapers and novels, for "these forms provided the technical means for 're-presenting' the kind of imagined community that is the nation" by furnishing their reader-consumers with a "complex gloss on the word 'meanwhile'" [25]. The "old-fashioned novel" especially, through its distinctive structures of address and omniscient point of view, becomes in this schema a "device" for generating a sociologically complex world populated by characters who, even though they "may be largely unaware of each other," nevertheless move together "calendrically through homogeneous, empty time"--a world, in short, that may be considered "a precise analogue of the idea of the nation, which also is conceived as a solid community moving steadily up (or down) history" [25-26]. As Jonathan Culler aptly summarizes in his contribution to this issue, Anderson thus takes the novel to be "a precondition for the nation" [24], "a formal condition of imagining the nation--a structural condition of possibility" [37]. Such strong emphasis on the novel as "a force for imagining the communities that are nations" certainly helps to explain why Imagined Communities so swiftly and pervasively became doxa in literary study--even if, as Culler elaborates, some of Anderson's readers have mistaken his argument for a stronger if less defensible [End Page 40] version that sees the novel as "a force in shaping or legitimating the nation" [37].While Anderson's analogy between novel and nation has been put by literary critics to a multitude of creative uses, what has been acknowledged much less commonly is that his literary interests are by no means exhausted by the paradigm for which he is best known. 1 The very title of his most recent book is, significantly as we shall see, a translated quotation from a novel, and he returns repeatedly for insights into the politics of literary form not only to Walter Benjamin but to certain exemplary "nationalist" novelists, José Rizal and Pramoedya Ananta Toer first and foremost. Where The Spectre of Comparisons is unusual in containing chapter-length readings of literary works (several of them reprinted from the earlier Language and Power), Imagined Communities was no stranger to detailed discussions of fiction. We may be struck, in fact, by the extent to which Anderson's theoretical and historical studies locate themselves persistently over time with reference to "literature... (shrink)

Women as commercial baby factories, nature as an economic resource, life as one big shopping mall: This is what we get when we use the market as a common ...

This article investigates the potential of fMRI to test assumptions about different components in models of complex cognitive tasks. If the components of a model can be associated with specific brain regions, one can make predictions for the temporal course of the BOLD response in these regions. An event‐locked procedure is described for dealing with temporal variability and bringing model runs and individual data trials into alignment. Statistical methods for testing the model are described that deal with the scan‐to‐scan correlations (...) in the errors of measurement of the BOLD signal. This approach is illustrated using a “sacrificial” ACT‐R model that involves mapping 6 modules onto 6 brain regions in an experiment from Ravizza, Anderson, and Carter (in press) concerned with equation solving. The model's visual encoding predicted the BOLD response in the fusiform gyrus, its controlled retrieval predicted the BOLD response in the lateral inferior prefrontal cortex, and its subgoal setting predicted the BOLD response in the anterior cingulate cortex. On the other hand, its motor programming failed to predict anticipatory activation in the motor cortex, its representational changes failed to predicted the pattern of activity in the posterior parietal cortex, and its procedural component failed to predict an initial spike in caudate. The results illustrate the power of such data to direct the development of a theory of complex problem solving, both at the level of a specific task model as well as at the level of the cognitive architecture. (shrink)

In recent years, feminist scholarship on emotional labor has proliferated. I identify a related but distinct form of care labor, hermeneutic labor. Hermeneutic labor is the burdensome activity of: understanding and coherently expressing one’s own feelings, desires, intentions, and movitations; discerning those of others; and inventing solutions for relational issues arising from interpersonal tensions. I argue that hermeneutic labor disproportionately falls on women’s shoulders in heteropatriachal societies, especially in intimate relationships between women and men. I also suggest that some of (...) the gendered burdens of emotional labor that feminist scholars point out would better be described as hermeneutic labor. Drawing on feminist philosophy as well as findings from social psychology and sociology, I argue that the exploitation of women’s hermeneutic labor is a pervasive element of what Sandra Bartky calls the ‘micropolitics’ of intimate relationships. The widespread expectation that women are relationship maintenance experts, as well as the prevalence of a gendered demand-withdraw pattern of communication, leads an exploitative situation to appear natural or even desirable, even as it leads to women’s dissatisfaction. This situation may be considered misogynistic in Kate Manne’s sense, where misogyny is a property of social environments rather than a worldview. (shrink)

What is the work ethic? Does it justify policies that promote the wealth and power of the One Percent at workers' expense? Or does it advance policies that promote workers' dignity and standing? Hijacked explores how the history of political economy has been a contest between these two ideas about whom the work ethic is supposed to serve. Today's neoliberal ideology deploys the work ethic on behalf of the One Percent. However, workers and their advocates have long used the work (...) ethic on behalf of ordinary people. By exposing the ideological roots of contemporary neoliberalism as a perversion of the seventeenth-century Protestant work ethic, Elizabeth Anderson shows how we can reclaim the original goals of the work ethic, and uplift ourselves again. Hijacked persuasively and powerfully demonstrates how ideas inspired by the work ethic informed debates among leading political economists of the past, and how these ideas can help us today. (shrink)

Feminist epistemology has often been understood as the study of feminine "ways of knowing." But feminist epistemology is better understood as the branch of naturalized, social epistemology that studies the various influences of norms and conceptions of gender and gendered interests and experiences on the production of knowledge. This understanding avoids dubious claims about feminine cognitive differences and enables feminist research in various disciplines to pose deep internal critiques of mainstream research.

One of liberalism’s core commitments is to safeguarding individuals’ autonomy. And a central aspect of liberal social justice is the commitment to protecting the vulnerable. Taken together, and combined with an understanding of autonomy as an acquired set of capacities to lead one’s own life, these commitments suggest that liberal societies should be especially concerned to address vulnerabilities of individuals regarding the development and maintenance of their autonomy. In this chapter, we develop an account of what it would mean for (...) a society to take seriously the obligation to reduce individuals’ autonomy-related vulnerabilities to an acceptable minimum. In particular, we argue that standard liberal accounts underestimate the scope of this obligation because they fail to appreciate various threats to autonomy. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Locke on the Knowledge of Material Things ROBERT FENDEL ANDERSON IT IS nOT John Locke's intention, in his Essay Concerning Human Understanding, to deal with matter and material substance nor with how these are able to affect the mind. These are considerations for natural philosophy; Locke counts himself rather among the moral philosophers. He does not propose, therefore, to meddle with the physical aspects of the mind, nor (...) with the physical production of sensations through the organs, nor with the production of ideas in the understanding, nor even with whether ideas depend upon matter for their source. He defers to the wisdom of such men as Boyle, Sydenham, Huygens and Newton in these considerations, and finds it "... ambition enough to be employed as an under-labourer in clearing the ground a little, and removing some of the rubbish that lies in the way to knowledge....,, 1 It is true that Locke's Essay is characterized chiefly not by an interest in matter and the mechanics of perception but rather by an interest in epistemology and in the ordering and assessment of our knowledge. Because of the very nature and emphasis of this epistemology, however, Locke finds that he must, from time to time, at least mention the nature of matter and how it affects us. Finally, it becomes apparent, certain changes or ambiguities in his point of view regarding the mode of our knowledge and its certainty are consequences of his understanding of matter. It is a demonstration of these elements of his doctrine, which seem not to have obtained the full attention of such scholars as Aaron, Fraser, and Gibson, that I shall attempt in this paper. Fundamentally, Locke's theory of matter appears to be that of Democritus and Epicurus. Like the Greek atomists, he conceives of matter as consisting of particles or corpuscles infinite in number. At least some of these are so minute as to be individually insensible, and probably he intends that all are, although, to my knowledge, he never states that this is so. In the aggregate, in any case, particles do constitute perceptible bodies. As for the Greeks, so also for Locke, the particles arc all extended, having size and shape. They are said also to possess motion or rest, although he takes care to say that matter cannot produce motion in itself,e Locke frequently mentions other properties as being "primary" or "really in" material things. Some of these are solidity, texture, cohesion of parts, situation, and number. Apparently some of these may be ranked under others since, as he 1"Epistle to the Reader," Vol. I, p. 14. All footnotes refer to passages in John Locke's An Essay Concerning Human Understanding, collated and annotated, with prolegomena, biographical, critical, and historical by Alexander Campbell Fraser, in two volumes (New York, Dover Publications, Inc., 1959). Large Roman numerals refer to books of the Essay; small Roman numerals refer to chapters of the books; Arabic numerals refer to sections of the chapters. 2 IV, x, 10. [205] 206 HISTORY OF PHILOSOPHY remarks, figure presupposes extension, and receiving or communicating motion through impact presupposes solidity. The influences of these particles upon one another are treated by Locke under the topic of "powers," a notion which includes in it some kind of "secret relation of parts." 3 The capacities in any substance to give alterations of primary qualities are active powers; the capacities to receive such alterations are passive powers. This alteration must be accomplished by impact or impulse since this, Locke says, is the only way in which bodies can be conceived to operate. Sensation in the percipient being then is to be understood as a special case of this impact of particles upon others. It is evident to Locke that from external obiects some motion must be conveyed by some parts of our bodies to the brain or seat of sensation to produce in our minds the particular ideas we have of these external objects. We are able by sight to perceive at a distance the primary qualities of bodies of observable size. Locke reasons that therefore "... some singly imperceptible bodies must come from them to the eyes, and thereby convey to... (shrink)

This article introduces and defends the “pathological complexity thesis” as a hypothesis about the evolutionary origins of minimal consciousness, or sentience, that connects the study of animal consciousness closely with work in behavioral ecology and evolutionary biology. I argue that consciousness is an adaptive solution to a design problem that led to the extinction of complex multicellular animal life following the Avalon explosion and that was subsequently solved during the Cambrian explosion. This is the economic trade-off problem of having to (...) deal with a complex body with high degrees of freedom, what I call “pathological complexity.” By modeling the explosion of this computational complexity using the resources of state-based behavioral and life history theory we will be able to provide an evolutionary bottom-up framework to make sense of subjective experience and its function in nature by paying close attention to the ecological lifestyles of different animals. (shrink)

There has been much criticism of the idea that Friston's free-energy principle can unite the life and mind sciences. Here, we argue that perhaps the greatest problem for the totalizing ambitions of its proponents is a failure to recognize the importance of evolutionary dynamics and to provide a convincing adaptive story relating free-energy minimization to organismal fitness.

ABSTRACTWhat are the rules of the comedic roast? Initially, there might seem to be a tension between “the comedic” and “roasting” or “insult.” The comedic is concerned with the funny or mirth while insults are mean-spirited in nature, tools of injury. So how can the two be combined to produce something fun? In this article, I entertain a few views that attempt a resolution of this apparent tension. I conclude with a proposal that suggests when they are successful, roasts employ (...) mechanisms that redirect attention from the joke's content to its formal properties; it is when those mechanisms fail that roasting becomes disagreeable. (shrink)

Nicholas Rescher’s way of understanding process philosophy reflects the ambitions of his own philosophical project and commits him to a conceptually ideal interpretation of process. Process becomes a transcendental idea of reflection that can always be predicated of our knowledge of the world and of the world qua known, but not necessarily of reality an sich. Rescher’s own taxonomy of process thinking implies that it has other variants. While Rescher’s approach to process philosophy makes it intelligible and appealing to mainstream (...) analytic philosophy, it leaves behind the more daring ideas of Bergson, James, and Whitehead, all of whom envisioned the primordial reality of process in a radical ontology of becoming. This variant of process thought can be construed as coherent and self-consistent, but not without relinquishing the correspondence theory of truth and embracing challenging ideas that bring us in close proximity to existentialism, apophatic theology, and Buddhism. (shrink)

The essays in this volume represent the first steps by philosophers and artificial intelligence researchers toward explaining why it is necessary to add an ...

According to the most popular theories of intentionality, a family of theories we will refer to as “functional intentionality,” a machine can have genuine intentional states so long as it has functionally characterizable mental states that are causally hooked up to the world in the right way. This paper considers a detailed description of a robot that seems to meet the conditions of functional intentionality, but which falls victim to what I call “the composition problem.” One obvious way to escape (...) the problem (arguably, the only way) is if the robot can be shown to be a moral patient – to deserve a particular moral status. If so, it isn’t clear how functional intentionality could remain plausible (something like “phenomenal intentionality” would be required). Finally, while it would have seemed that a reasonable strategy for establishing the moral status of intelligent machines would be to demonstrate that the machine possessed genuine intentionality, the composition argument suggests that the order of precedence is reversed: The machine must first be shown to possess a particular moral status before it is a candidate for having genuine intentionality. (shrink)

This paper constitutes a radical departure from the existing philosophical literature on models, modeling-practices, and model-based science. I argue that the various entities and practices called 'models' and 'modeling-practices' are too diverse, too context-sensitive, and serve too many scientific purposes and roles, as to allow for a general philosophical analysis. From this recognition an alternative view emerges that I shall dub model anarchism.

This paper presents the outlines of a phenomenological theory of foundational or non-inferential knowledge according to which the facts or states of affairs towards which our beliefs are intentionally directed can sometimes serve as reasons or evidence for what we believe. This occurs in acts of fulfillment, in which an object or state of affairs is given as it is thought to be. Hopp further argues that the sorts of empirical facts that can serve as reasons for noninferentially justified beliefs (...) are not confined to facts about one’s own occurrent mental states, but include facts about the physical world as well. In the course of defending the view against objections, Hopp argues that we should be internalists about the reasons in virtue of which what we believe is justified but externalists about the factors in virtue of which our states of believing have the status of being justified. He also argues against the claim that mental states, such as perceptual experiences, constitute our evidence for empirical beliefs. (shrink)